<html><body><div class='definition'><pre>y: <a href="psi_element://#typename#int">int</a> = 1</pre></div></body></html>